bisimulation equivalence
双模拟等效性
热门查询
- fold n. 折痕；信徒；羊栏 vt. 折叠；合拢；抱住；笼罩 vi. 折叠起来；彻底失败
- Dutchman n. 荷兰人；荷兰船
- twit n. 挖苦；嘲笑 vt. 嘲笑；责难；愚弄
- Rivera n. 里韦拉（乌拉圭北部最重要的边境城市, 里韦拉省首府）
- psalmist n. 诗篇作者，赞美诗作者
- perseverance n. 坚持不懈；不屈不挠 n. 耐性；毅力
- gunplay n. （美）枪战；射击技巧
- wipe n. 擦拭；用力打 vi. 擦；打 vt. 擦；消除；涂上
- divination n. 预测，占卜
- camping n. 露营；野营 v. 露营；扎营；临时安顿（camp的ing形式）
- unready adj. 不敏捷的；没准备的
- sago n. 西米；西米椰子 n. (Sago)人名；(日)左五(名)
- stub n. 存根；烟蒂；树桩；断株 vt. 踩熄；连根拔除 n. (Stub)人名；(挪、瑞典)斯图布
- aphid n. [昆] 蚜虫
- sanity n. 明智；头脑清楚；精神健全；通情达理
- Gilroy [人名] [爱尔兰姓氏] 吉尔罗伊盖尔语姓氏的英语形式，含义是“红发马夫之子”(son of the redhaired lad); [男子名] 吉尔罗伊来源于拉丁语的凯尔特语形式，含义是“国王之仆”(servant of the king); [地名] [加拿大] 吉尔罗伊
- tenth num. 第十；十分之一 adj. 十分之一的；第十个的
- spokeswoman n. 女代言人，女代言人
- sinuously adv. 蜿蜒地, 弯曲地；拐弯抹角地；错综复杂地
- vehicle n. [车辆] 车辆；工具；交通工具；运载工具；传播媒介；媒介物
